On Supersimple Groups
نویسنده
چکیده
An infinite group with supersimple theory has a finite series of definable groups whose factors are infinite and either virtually-FC or virtuallysimple modulo a finite FC-centre. We deduce that a group which is typedefinable in a supersimple theory has a finite series of relatively definable groups whose factors are either abelian or simple groups. In this decomposition, the non-abelian simple factors are unique up to isomorphism.
منابع مشابه
Supersimple fields and division rings
It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is simple.
متن کاملSupersimple Ω-categorical Groups and Theories
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
متن کاملOn the definability of radicals in supersimple groups
If G is a group with supersimple theory having finite SU -rank, the subgroup of G generated by all of its normal nilpotent subgroups is definable and nilpotent. This answers a question asked by Elwes, Jaligot, Macpherson and Ryten in [5]. If H is any group with supersimple theory, the subgroup of H generated by all of its normal soluble subgroups is definable and soluble.
متن کاملGroups in supersimple and pseudofinite theories
We consider groups G interpretable in a supersimple finite rank theory T such that T eq eliminates ∃∞. It is shown that G has a definable soluble radical. If G has rank 2, then if G is pseudofinite it is soluble-by-finite, and partial results are obtained under weaker hypotheses, such as unimodularity of the theory. A classification is obtained when T is pseudofinite and G has a definable and d...
متن کاملElliptic and hyperelliptic curves over supersimple fields
We prove that if F is an infinite field with characteristic different from 2, whose theory is supersimple, and C is an elliptic or hyperelliptic curve over F with generic moduli then C has a generic F -rational point. The notion of generity here is in the sense of the supersimple field F .
متن کامل